body {
     /* cribbed from http://web.mit.edu/jmorzins/www/fonts.html */
    font-family:
    "Century Schoolbook",	/* MacOS, Windows (HP Printer) */
    Century,			/* Windows, MacOS */
    "new century schoolbook",	/* Unix+X */
    "Century Schoolbook L",	/* Unix+X+FontConfig */
    times,			/* Unix+X, MacOS */
    serif;
}

h1 {
   color: #9F0000;
   border-bottom: 1px solid black;
}

div#ft {
   border-top: 1px solid black;
   font-size: smaller;
}

div.yui-g {
   margin: 10px;
}